2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised
Автор:
Pierpaolo Degano
, Автор:
Sandro Etalle
, Автор:
Joshua Guttman
Размер книги: 2.82 Mb
Trust Management: Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIP International Federation ... Federation for Information Processing)
Автор:
Sandro Etalle
, Автор:
Stephen Marsh
Размер книги: 23.47 Mb
Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004
Автор:
Sandro Etalle
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.78 Mb
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Автор:
Sandro Etalle
, Автор:
Miroslav Truszczynski
Размер книги: 4.80 Mb
